Skip to content

Conversation

@resistor
Copy link
Collaborator

@resistor resistor commented Jul 1, 2025

This allows us to turn on SCEV for cheriot, with the caveat that we need
to disallow LSR base register expressions that are negatively indexed, since
they may not be representable on cheriot.

@resistor resistor force-pushed the scev-cheriot branch 3 times, most recently from 8f91d3e to e62e298 Compare July 2, 2025 05:39
@resistor resistor marked this pull request as ready for review July 7, 2025 12:40
This allows us to turn on SCEV for cheriot, with the caveat that we need
to disallow LSR base register expressions that are negatively indexed, since
they may not be representable on cheriot.
@resistor resistor merged commit 4a05a2c into CHERIoT-Platform:cheriot Jul 8, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant